Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท3h
๐Ÿ“Mathematical Art
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
Experimenting with ACL2 and Claude Code
mikedodds.orgยท7hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
An enough week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐ŸงฎZ3 Solver
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes
A Proof of the Riemann Hypothesis
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Theorem
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
โ›ชChurch Encoding
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Three Solutions to Nondeterminism in AI
blog.hellas.aiยท2dยท
Discuss: Hacker News
๐ŸŽฏPerformance Proofs
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
More on Carmichael
johndcook.comยท1dยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท15h
๐ŸงฎTheorem Proving
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.comยท1d
โšกProof Automation
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs